deduction theorem
英 [dɪˈdʌkʃn ˈθɪərəm]
美 [dɪˈdʌkʃn ˈθiːərəm]
网络 演绎定理
双语例句
- Deduction of generalized Ehrenfest theorem by using the entangled state representation
用纠缠态表象推导广义Ehrenfest定理 - The exchange between signal power and channel bandwidth is an important deduction of Shannon's channel capacity theorem.
信道带宽与功率互换原理是信息论的一条重要原理。 - The paper gets theorem and deduction of space curved surface about plane symmetry equation. In theory it has solved a problem about the symmetry graph of plane. The theorem proves to be a simple method and a convenient appliance.
给出了空间曲面关于平面对称曲面方程的定理及其推论，在理论上解决了平面的对称图形问题，且定理的证明方法简捷，应用方便。 - Deduction of Theorem of Parallel Axis When Turning Axis Non vertical to Plate
转轴与平板不垂直时平行轴定理的推导 - A deduction to the Ampere circuital theorem
推证安培环路定理 - Thus two theorems and one deduction: Theorem 1, the higher income farmers can get from agriculture, the more willingly they are to increase land; the lower income they can get from agriculture, the more willingly they are to decrease land.
由此得出两个定理和一个推论：定理1.农户从农业获得的收入水平越高，越有意愿转入土地；农户从农业获得的收入水平越低，越有意愿转出土地。 - We also investigate the consistency of the syntactic theory and the semantic theory established in above chapter, and establish generalized deduction theorem and completeness theorem.
研究了所建立的语法理论与第三章所建立的语义理论的协调性问题，建立了广义演绎定理和某些特殊情况下的完备性定理。 - Using natural deduction rules, Isabelle provides a generic framework for developing theorem proving systems.
Isabelle使用自然演绎规则进行推理，为定理证明系统的开发提供了一个通用的框架。